Universal graphs at the successor of a singular cardinal (revised after proof reading)
نویسندگان
چکیده
The paper is concerned with the existence of a universal graph at the successor of a strong limit singular μ of cofinality א0. Starting from the assumption of the existence of a supercompact cardinal, a model
منابع مشابه
Universal graphs at the successor of a singular cardinal
The paper is concerned with the existence of a universal graph at the successor of a strong limit singular μ of cofinality א0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such μ there are μ++ graphs on μ+ that taken jointly are universal for the graphs on μ+, while 2μ + >> μ++.
متن کاملSandwiching the Consistency Strength of Two Global Choiceless Cardinal Patterns
We provide upper and lower bounds in consistency strength for the theories “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are re...
متن کاملSuccessor Large Cardinals in Symmetric Extensions ∗
We give an exposition in modern language (and using partial orders) of Jech’s method for obtaining models where successor cardinals have large cardinal properties. In such models, the axiom of choice must necessarily fail. In particular, we show how, given any regular cardinal and a large cardinal of the requisite type above it, there is a symmetric extension of the universe in which the axiom ...
متن کاملA remark on the tree property in a choiceless context
We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “ZF + ¬ACω + Every successor cardinal is regular + E...
متن کاملSuccessor of Singulars: Combinatorics and Not Collapsing Cardinals
On the one hand we deal with (< κ)-supported iterated forcing notions which are (Ê0, Ê1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the caes of a successor of the singular cardinal. This continues [Sh 587]. On the other hand we deal with complimentary ZFC combinatorial results. I would like to thank Alice Leonhardt for the b...
متن کامل